Search Results
Haskell Symposium 2012. Koen Claessen: Shrinking and showing functions
Koen Claessen: A Library for Light-weight Information-Flow Security in Haskell
Haskell Symposium 2012.Gabriele Keller: Vectorisation Avoidance.
Haskell Symposium 2012. Brent Yorgey: Monoids - theme and variations
Haskell Symposium 2012. Jonas Duregård: Feat: functional enumeration of algebraic types.
Haskell Symposium 2012. The closing discussion, led by Aaron Contorer of FP Complete.
Haskell Symposium 2012. Ben Lippmeier: Guiding parallel array fusion with indexed types.
Haskell Symposium 2012. Michael Adams: Template your Boilerplate.
Haskell Symposium 2012. Wyatt Allen: Surveyor
Haskell Symposium 2012. Johan Jeuring: Testing type class laws.
Haskell Symposium 2012. Neil Sculthorpe: The HERMIT in the machine
Haskell Symposium 2012. Daniel Winograd-Cort: Wormholes - introducing effects to FRP.
